gdk: Make gdk_device_list_physical_devices() private
authorCarlos Garnacho <carlosg@gnome.org>
Thu, 30 Jul 2020 15:15:14 +0000 (17:15 +0200)
committerCarlos Garnacho <carlosg@gnome.org>
Thu, 30 Jul 2020 16:30:13 +0000 (18:30 +0200)
commit3c68db8e47d32adafba9f8f1c80598827671f91f
treeda799fdf6b9049970f0e7db9f7c33eea57434558
parent9912c80d70cc7d7c331bbe1efbe430599675f6df
gdk: Make gdk_device_list_physical_devices() private

Physical devices should probably be accounted internally in gdk/x11,
make this out of private API so at least the implementation details
don't leak.
docs/reference/gdk/gdk4-sections.txt
gdk/gdkdevice.h
gdk/gdkdeviceprivate.h